Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... 7938 (Lecture Notes in Computer Science)
by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
ISBN 13: 9783642388736
Format: Paperback (192 pages) Publisher: Springer Published: 07 Jun 2013
Save for later